Kestabilan Model Petri Net pada Sistem Antrian Bank Menggunakan Metode Lyapunov

Penelitian ini mengembangkan dari hasil penelitian tentang pemodelan sistem antrian di salah satu cabang bank x dengan menggunakan coloured petri nets. sebelumnya memutuhkan waktu yang cukup lama untuk memperoleh pelayanan digunakan sebagai validasi model tersebut. Pada akan dikonstruksi sama media berbeda lebih sederhana namun mampu merepresentasikan keadaan dan alur seperti pada sebelumnya. Dalam menggunkan Petri Net. Selanjutnya dianalisa kestabilan Net Lyaunov berkenaan denga Hasil analisis diperoleh menunjukkan bahwa dibentuk merupakan tidak stabil dapat distabilkan. Model disebabkan oleh adanya transisi bersifat always enable.